University of Birmingham

Results: 2922



#Item
51

Call for Papers Friends and colleagues, We invite paper submissions for the conference on “Expectations in Dynamic Macroeconomic Models,” to be held at the University of Birmingham, UK, this

Add to Reading List

Source URL: exside-itn.eu

Language: English - Date: 2018-03-12 07:03:07
    52

    Formal Analysis of Electronic Voting Systems Mark Ryan University of Birmingham joint work with Ben Smyth Steve Kremer

    Add to Reading List

    Source URL: www.cs.bham.ac.uk.

    Language: English - Date: 2010-04-20 09:42:28
      53

      The Suzuki groups Robert A. Wilson University of Birmingham, 23rd March

      Add to Reading List

      Source URL: www.maths.qmul.ac.uk

      Language: English - Date: 2011-03-22 08:02:16
        54

        Precise Electroweak Results from LEP2 David G. Charlton Royal Society University Research Fellow School of Physics and Astronomy The University of Birmingham

        Add to Reading List

        Source URL: www.slac.stanford.edu

        Language: English - Date: 2001-04-04 18:07:50
          55

          Synthesising Verified Access Control Systems through Model Checking Nan Zhang, Mark Ryan∗ School of Computer Science University of Birmingham {nxz,mdr}@cs.bham.ac.uk

          Add to Reading List

          Source URL: www.cs.bham.ac.uk.

          Language: English - Date: 2009-02-25 10:33:23
            56

            Smart Contracts Make Bitcoin Mining Pools Vulnerable Yaron Velner1 , Jason Teutsch2 , and Loi Luu3 1 The Hebrew University of Jerusalem The University of Alabama at Birmingham

            Add to Reading List

            Source URL: www.comp.nus.edu.sg

            - Date: 2017-04-10 06:54:32
              57

              Applications of Game Semantics: From Program Analysis to Hardware Synthesis Dan R. Ghica School of Computer Science University of Birmingham, UK

              Add to Reading List

              Source URL: www.cs.bham.ac.uk

              - Date: 2009-08-22 10:16:19
                58

                Photonics For Medical DiagnosticsSeptember, 7-8 Aston Institute of Photonic Technologies, Aston University, Birmingham UK

                Add to Reading List

                Source URL: www.photon.org.uk

                - Date: 2018-03-19 04:46:24
                  59

                  C O M P U T ER S C I E N C E DEPARTMENT COLLOQUIUM Portable Non-blocking Data Structures Dr. Peter Pirkelbauer University of Alabama at Birmingham

                  Add to Reading List

                  Source URL: pdf.cs.ua.edu

                  - Date: 2013-02-21 14:28:34
                    60

                    A CCG-based System for Valence Shifting for Sentiment Analysis František Simančík and Mark Lee School of Computer Science, University of Birmingham, Birmingham, UK , .

                    Add to Reading List

                    Source URL: www.cicling.org

                    - Date: 2009-07-17 00:20:17
                      UPDATE